% Fabian Wenzelmann, 2012
% For the documentation of the bfr package.

\documentclass[a4paper,12pt]{article}
\usepackage[utf8]{inputenc}
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{fullpage}
\usepackage{tikz}
\usetikzlibrary{positioning}

\begin{document}
\pagestyle{empty}
\scalebox{1.5}{
\begin{tikzpicture}
\tikzstyle{treeNode} = [anchor=west, rectangle, rounded corners, draw=blue!60, minimum width=2.75cm, minimum height=0.5cm]
\node[treeNode] (root) at (0, 0) {$x_0 \lor (x_1 \land x_2)$};

\def\dist{4}

\node[treeNode] (upper) at (\dist, 1) {$x_1 \lor x_2$};
\node[treeNode] (lower) at (\dist, -1) {$\operatorname{true}$};

\draw[->] (root.east)--(upper.west);
\draw[->] (root.east)--(lower.west);
\end{tikzpicture}
}
\end{document}
